1. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده: Streicher, Thomas, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
2. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده: Thomas Streicher,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
